2161. Temporal logic
Author: / [by] Nicholas Rescher and Alasdair Urquhart
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
R448
2162. Temporal logic
Author: / [by] Nicholas Rescher and Alasdair Urquhart
Library: Library of factualty of psychology and Education (Tehran)
Subject: Logic, Symbolic and mathematical,Time,Modality (Logic)
Classification :
BC
,
135
, .
R448
2163. Temporal logic and state systems
Author: Fred Kroger, Stephan Merz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4K76
2164. Temporal logic and state systems
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
K76
2008
2165. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
827
2166. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994
2167. Temporal logic: from ancient ideas to artificial intelligence
Author: Ohrstrom, Peter.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
O37
1995
2168. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
Author: B. Banieqbal, H. Barringer, A. Pnueli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، System design,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
398
2169. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
.
T42
1989
2170. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994
2171. Temporal logic of programs
Author: / Fred Kroger
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
2172. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
2173. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
2174. Temporal logics : and their applications
Author: edited by Antony Galton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T46
1987
2175. Term logic with choice operator
Author: Hermes, Hans
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
6
1970
2176. Term logic with choice operator
Author: / Hans Hermes
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
H54
1970
2177. Term logic with choice operator
Author: Hermes, Hans
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
6
2178. Term logic with choice operator
Author: Hermes, Hans.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
6
2179. Term logic with choice operators
Author: Hans Hermes
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
6
2180. The Arché papers on the mathematics of abstraction /
Author: edited by Roy T. Cook.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
Classification :
QA8
.
4
.
A73
2007eb
